$r$ $\neq$ 0 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1 $\neq$ 0 $\in$ $\mid$$r$$\mid$